:: Integer -> Double -package:numeric-prelude package:random-fu

The CDF of the random variable realFloatStdUniform.